Total Books: 1 - 1 /1
Formal Techniques for Networked and Distributed Systems - FORTE 2006
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...
Lire la suite
Total Books: 1 - 1 /1
